Connectivity and a Problem of Formal Geometry

Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $\Delta_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of $P\times P$ along the intersection $X\cap\Delta_P$.Comment: 9 pages, to appear in the Proceedings volume "Experimental and Theoretical Methods in Algebra, Geometry and Topology", series Springer Proceedings in Mathematics & Statistic

Moduli Stacks of Vector Bundles and Frobenius Morphisms

We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse special situations like vector bundles on the projective line and relations with infinite Grassmannians.Comment: 19 page

Chabauty-Coleman experiments for genus 3 hyperelliptic curves

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.Comment: 18 page

Remarks on the structure constants of the Verlinde algebra associated to sl3sl_3

The structure constants $N_{\lambda, \mu}^{\mu+\nu}$ of the $sl_2$ Verlinde algebra as functions of $\mu$ either vanish or can be expressed after a change of variable as the weight function of an irreducible representation of $sl_2$. We give a similar formula in the $sl_3$ case.Comment: 5 pages, AmsTeX, 1 figure available on reques

Formal properties in small codimension

In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces

Presentations of Wess-Zumino-Witten Fusion Rings

The fusion rings of Wess-Zumino-Witten models are re-examined. Attention is drawn to the difference between fusion rings over Z (which are often of greater importance in applications) and fusion algebras over C. Complete proofs are given characterising the fusion algebras (over C) of the SU(r+1) and Sp(2r) models in terms of the fusion potentials, and it is shown that the analagous potentials cannot describe the fusion algebras of the other models. This explains why no other representation-theoretic fusion potentials have been found. Instead, explicit generators are then constructed for general WZW fusion rings (over Z). The Jacobi-Trudy identity and its Sp(2r) analogue are used to derive the known fusion potentials. This formalism is then extended to the WZW models over the spin groups of odd rank, and explicit presentations of the corresponding fusion rings are given. The analogues of the Jacobi-Trudy identity for the spinor representations (for all ranks) are derived for this purpose, and may be of independent interest.Comment: 32 pages, 3 figures, added references, minor additions to text. To be published in Rev. Math. Phy

Independent individual addressing of multiple neutral atom qubits with a MEMS beam steering system

We demonstrate a scalable approach to addressing multiple atomic qubits for use in quantum information processing. Individually trapped 87Rb atoms in a linear array are selectively manipulated with a single laser guided by a MEMS beam steering system. Single qubit oscillations are shown on multiple sites at frequencies of ~3.5 MHz with negligible crosstalk to neighboring sites. Switching times between the central atom and its closest neighbor were measured to be 6-7 us while moving between the central atom and an atom two trap sites away took 10-14 us.Comment: 9 pages, 3 figure

IconoNET: a tool for automated bandwidth allocation planning

Communication networks are expected to offer a wide range of services to an increasingly large number of users, with a diverse range of quality of service. This calls for efficient control and management of these networks. In this paper, we address the problem of quality-of-service routing, more specifically the planning of bandwidth allocation to communication demands. Shortest path routing is the traditional technique applied to this problem. However, this can lead to poor network utilization and even congestion. We show how an abstraction technique combined with systematic search algorithms and heuristics derived from Artificial Intelligence make it possible to solve this problem more efficiently and in much tighter networks, in terms of bandwidth usage

Endomorphisms of abelian varieties, cyclotomic extensions and Lie algebras

We prove an analogue of the Tate conjecture on homomorphisms of abelian varieties over infinite cyclotomic extensions of finitely generated fields of characteristic zero.Comment: 9 page

Uniformizing the Stacks of Abelian Sheaves

Elliptic sheaves (which are related to Drinfeld modules) were introduced by Drinfeld and further studied by Laumon--Rapoport--Stuhler and others. They can be viewed as function field analogues of elliptic curves and hence are objects "of dimension 1". Their higher dimensional generalisations are called abelian sheaves. In the analogy between function fields and number fields, abelian sheaves are counterparts of abelian varieties. In this article we study the moduli spaces of abelian sheaves and prove that they are algebraic stacks. We further transfer results of Cerednik--Drinfeld and Rapoport--Zink on the uniformization of Shimura varieties to the setting of abelian sheaves. Actually the analogy of the Cerednik--Drinfeld uniformization is nothing but the uniformization of the moduli schemes of Drinfeld modules by the Drinfeld upper half space. Our results generalise this uniformization. The proof closely follows the ideas of Rapoport--Zink. In particular, analogies of $p$-divisible groups play an important role. As a crucial intermediate step we prove that in a family of abelian sheaves with good reduction at infinity, the set of points where the abelian sheaf is uniformizable in the sense of Anderson, is formally closed.Comment: Final version, appears in "Number Fields and Function Fields - Two Parallel Worlds", Papers from the 4th Conference held on Texel Island, April 2004, edited by G. van der Geer, B. Moonen, R. Schoo